On the complexity of real solving bivariate systems
Identifieur interne : 004E52 ( Main/Exploration ); précédent : 004E51; suivant : 004E53On the complexity of real solving bivariate systems
Auteurs : Dimitrios Diochnos [Grèce] ; Ioannis Z. Emiris [Grèce] ; Elias Tsigaridas [France]Source :
English descriptors
Abstract
This paper is concerned with exact real solving of well-constrained, bivariate algebraic systems. The main problem is to isolate all common real roots in rational rectangles, and to determine their intersection multiplicities. We present three algorithms and analyze their asymptotic bit complexity, obtaining a bound of $\sOB(N^{14})$ for the purely projection-based method, and $\sOB(N^{12})$ for two sub\-result\-ant-based methods: we ignore polylogarithmic factors, and $N$ bounds the degree and the bitsize of the polynomials. The previous record bound was $\sOB(N^{14})$. Our main tool is signed subresultant sequences, extended to several variables by the technique of binary segmentation. We exploit recent advances on the complexity of univariate root isolation, and extend them to multipoint evaluation, to sign evaluation of bivariate polynomials over two algebraic numbers, % We thus derive new bounds for the sign evaluation of bi- and multi-variate polynomials and real root counting for polynomials over an extension field. Our algorithms apply to the problem of simultaneous inequalities; they also compute the topology of real plane algebraic curves in $\sOB( N^{12})$, whereas the previous bound was $\sOB( N^{16})$. All algorithms have been implemented in \maple, in conjunction with numeric filtering. We compare them against \gbrs and system solvers from \synaps; we also consider \maple libraries \func{insulate} and \func{top}, which compute curve topology. Our software is among the most robust, and its runtimes are comparable, or within a small constant factor, with respect to the C/C++ libraries. }
Url:
Affiliations:
- France, Grèce
- Grand Est, Lorraine (région)
- Nancy
- Institut national polytechnique de Lorraine, Université Nancy 2, Université de Lorraine
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 003820
- to stream Hal, to step Curation: 003820
- to stream Hal, to step Checkpoint: 003D14
- to stream Main, to step Merge: 005008
- to stream Main, to step Curation: 004E52
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">On the complexity of real solving bivariate systems</title>
<author><name sortKey="Diochnos, Dimitrios" sort="Diochnos, Dimitrios" uniqKey="Diochnos D" first="Dimitrios" last="Diochnos">Dimitrios Diochnos</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-35029" status="VALID"><orgName>Department of Informatics and Telecommunications</orgName>
<orgName type="acronym">Athens</orgName>
<desc><address><addrLine>National and Kapodistrian University of Athens Dept. of Informatics and Telecommunications Panepistimiopolis, Ilissia Athens 15784 Greece</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://www.di.uoa.gr/en/info.php</ref>
</desc>
<listRelation><relation active="#struct-365611" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-365611" type="direct"><org type="institution" xml:id="struct-365611" status="VALID"><orgName>National and Kapodistrian University of Athens [Zografou]</orgName>
<desc><address><addrLine>Zografou Campus GR-157 80 Zografou</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://en.uoa.gr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Grèce</country>
</affiliation>
</author>
<author><name sortKey="Emiris, Ioannis Z" sort="Emiris, Ioannis Z" uniqKey="Emiris I" first="Ioannis Z." last="Emiris">Ioannis Z. Emiris</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24844" status="VALID"><orgName>Department of Informatics and Telecomunications</orgName>
<orgName type="acronym">DI</orgName>
<desc><address><addrLine>National and Kapodistrian University of Athens Dept. of Informatics and Telecommunications Panepistimiopolis, Ilissia Athens 15784</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://www.di.uoa.gr/en/</ref>
</desc>
<listRelation><relation active="#struct-365466" type="direct"></relation>
<relation active="#struct-307550" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-365466" type="direct"><org type="institution" xml:id="struct-365466" status="INCOMING"><orgName>National Kapodistrian University of Athens</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-307550" type="direct"><org type="institution" xml:id="struct-307550" status="INCOMING"><orgName>(ERGA) Laboratory of algebraic and geometric algorithms and applications</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Grèce</country>
</affiliation>
</author>
<author><name sortKey="Tsigaridas, Elias" sort="Tsigaridas, Elias" uniqKey="Tsigaridas E" first="Elias" last="Tsigaridas">Elias Tsigaridas</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2573" status="OLD"><idno type="RNSR">200518305E</idno>
<orgName>Effective Geometric Algorithms for Surfaces and Visibility</orgName>
<orgName type="acronym">VEGAS</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/vegas</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00129309</idno>
<idno type="halId">inria-00129309</idno>
<idno type="halUri">https://hal.inria.fr/inria-00129309</idno>
<idno type="url">https://hal.inria.fr/inria-00129309</idno>
<date when="2007">2007</date>
<idno type="wicri:Area/Hal/Corpus">003820</idno>
<idno type="wicri:Area/Hal/Curation">003820</idno>
<idno type="wicri:Area/Hal/Checkpoint">003D14</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">003D14</idno>
<idno type="wicri:Area/Main/Merge">005008</idno>
<idno type="wicri:Area/Main/Curation">004E52</idno>
<idno type="wicri:Area/Main/Exploration">004E52</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">On the complexity of real solving bivariate systems</title>
<author><name sortKey="Diochnos, Dimitrios" sort="Diochnos, Dimitrios" uniqKey="Diochnos D" first="Dimitrios" last="Diochnos">Dimitrios Diochnos</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-35029" status="VALID"><orgName>Department of Informatics and Telecommunications</orgName>
<orgName type="acronym">Athens</orgName>
<desc><address><addrLine>National and Kapodistrian University of Athens Dept. of Informatics and Telecommunications Panepistimiopolis, Ilissia Athens 15784 Greece</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://www.di.uoa.gr/en/info.php</ref>
</desc>
<listRelation><relation active="#struct-365611" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-365611" type="direct"><org type="institution" xml:id="struct-365611" status="VALID"><orgName>National and Kapodistrian University of Athens [Zografou]</orgName>
<desc><address><addrLine>Zografou Campus GR-157 80 Zografou</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://en.uoa.gr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Grèce</country>
</affiliation>
</author>
<author><name sortKey="Emiris, Ioannis Z" sort="Emiris, Ioannis Z" uniqKey="Emiris I" first="Ioannis Z." last="Emiris">Ioannis Z. Emiris</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24844" status="VALID"><orgName>Department of Informatics and Telecomunications</orgName>
<orgName type="acronym">DI</orgName>
<desc><address><addrLine>National and Kapodistrian University of Athens Dept. of Informatics and Telecommunications Panepistimiopolis, Ilissia Athens 15784</addrLine>
<country key="GR"></country>
</address>
<ref type="url">http://www.di.uoa.gr/en/</ref>
</desc>
<listRelation><relation active="#struct-365466" type="direct"></relation>
<relation active="#struct-307550" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-365466" type="direct"><org type="institution" xml:id="struct-365466" status="INCOMING"><orgName>National Kapodistrian University of Athens</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-307550" type="direct"><org type="institution" xml:id="struct-307550" status="INCOMING"><orgName>(ERGA) Laboratory of algebraic and geometric algorithms and applications</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Grèce</country>
</affiliation>
</author>
<author><name sortKey="Tsigaridas, Elias" sort="Tsigaridas, Elias" uniqKey="Tsigaridas E" first="Elias" last="Tsigaridas">Elias Tsigaridas</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2573" status="OLD"><idno type="RNSR">200518305E</idno>
<orgName>Effective Geometric Algorithms for Surfaces and Visibility</orgName>
<orgName type="acronym">VEGAS</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/vegas</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>complexity</term>
<term>maple code</term>
<term>polynomial systems</term>
<term>real algebraic numbers</term>
<term>real solving</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">This paper is concerned with exact real solving of well-constrained, bivariate algebraic systems. The main problem is to isolate all common real roots in rational rectangles, and to determine their intersection multiplicities. We present three algorithms and analyze their asymptotic bit complexity, obtaining a bound of $\sOB(N^{14})$ for the purely projection-based method, and $\sOB(N^{12})$ for two sub\-result\-ant-based methods: we ignore polylogarithmic factors, and $N$ bounds the degree and the bitsize of the polynomials. The previous record bound was $\sOB(N^{14})$. Our main tool is signed subresultant sequences, extended to several variables by the technique of binary segmentation. We exploit recent advances on the complexity of univariate root isolation, and extend them to multipoint evaluation, to sign evaluation of bivariate polynomials over two algebraic numbers, % We thus derive new bounds for the sign evaluation of bi- and multi-variate polynomials and real root counting for polynomials over an extension field. Our algorithms apply to the problem of simultaneous inequalities; they also compute the topology of real plane algebraic curves in $\sOB( N^{12})$, whereas the previous bound was $\sOB( N^{16})$. All algorithms have been implemented in \maple, in conjunction with numeric filtering. We compare them against \gbrs and system solvers from \synaps; we also consider \maple libraries \func{insulate} and \func{top}, which compute curve topology. Our software is among the most robust, and its runtimes are comparable, or within a small constant factor, with respect to the C/C++ libraries. }</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
<li>Grèce</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Nancy</li>
</settlement>
<orgName><li>Institut national polytechnique de Lorraine</li>
<li>Université Nancy 2</li>
<li>Université de Lorraine</li>
</orgName>
</list>
<tree><country name="Grèce"><noRegion><name sortKey="Diochnos, Dimitrios" sort="Diochnos, Dimitrios" uniqKey="Diochnos D" first="Dimitrios" last="Diochnos">Dimitrios Diochnos</name>
</noRegion>
<name sortKey="Emiris, Ioannis Z" sort="Emiris, Ioannis Z" uniqKey="Emiris I" first="Ioannis Z." last="Emiris">Ioannis Z. Emiris</name>
</country>
<country name="France"><region name="Grand Est"><name sortKey="Tsigaridas, Elias" sort="Tsigaridas, Elias" uniqKey="Tsigaridas E" first="Elias" last="Tsigaridas">Elias Tsigaridas</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004E52 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 004E52 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= Hal:inria-00129309 |texte= On the complexity of real solving bivariate systems }}
This area was generated with Dilib version V0.6.33. |